λ-resolution 相关硕士博士期刊学术论文

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中，定义了λ-归结，证明了λ-归结......